Validation of enterprise architecture through colored Petri nets
نویسندگان
چکیده
منابع مشابه
Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملValidation of Dynamic Behavior in UML Using Colored Petri Nets
This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to...
متن کاملTowards Reusable Colored Petri Nets
Reuse has long been recognized as a key technology that can bring about signi cant productivity gains in software development. Code-level reuse is wellunderstood and frequently practiced. However, reuse in software requirements, another phase where much bene t can be expected, remains inadequately addressed. Hierarchical Colored Petri Net (HCPN) formalism has been successfully used on several l...
متن کاملExtended Simple Colored Petri Nets
We present a new class of Petri Nets, called Extended Simple Colored Petri Nets (ESCP-nets), which are essentially Simple Colored Petri Nets (SCP-nets) with three added features: first, there is a built-in type of real numbers; second, tokens can be forced to wait in places; third, an interface specifies how the Net can be externally supervised. Even if these added features also add complexity,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Management Science Letters
سال: 2015
ISSN: 1923-9335,1923-9343
DOI: 10.5267/j.msl.2015.1.007